TLA+ .gitignore